A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object

Session types for linear multithreaded functional programming Paper by V. Vasconcelos, A. Ravara & S. Gay Presentation by H. U. Flemberg, S. S. Nielsen & A. S. Al-Sibahi Narrated by A. S. Al-Sibahi

Source URL: www.itu.dk

CALL FOR PAPERS — FLOPSThirteenth International Symposium on Functional and Logic Programming Kochi (Shikoku), Japan Organizers:

Source URL: www.info.kochi-tech.ac.jp

Functional Programming Ionut G. Stan - OpenAgile 2010 Functional Programming what why

Source URL: static.igstan.ro

Mutation Testing of Functional Programming Languages Duc Le Mohammad Amin Alipour

Source URL: web.engr.oregonstate.edu

ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

Source URL: www.cse.iitd.ac.in

• Academia
• Computer science
• Computing
• Theoretical computer science
• Association for Computing Machinery
• ACM SIGACT
• International Conference on Functional Programming
• Computational intelligence
• Computational geometry
• Computational learning theory
• International Symposium on Symbolic and Algebraic Computation
• Algorithmica

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ]

Source URL: lenary.co.uk

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Ericsson
• Erlang
• Functional programming
• Type theory
• Actor model
• Concurrent computing
• Go
• International Conference on Functional Programming

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

Source URL: janvitek.org

• Computer science
• Computing
• Software engineering
• Association for Computing Machinery
• Programming Language Design and Implementation
• International Conference on Functional Programming
• Symposium on Principles of Programming Languages
• SIGPLAN
• Federated Computing Research Conference
• Programming language theory
• SPLASH
• Actor model